(assert (distinct)
